Semantical Descriptions of Models for Web Design
نویسندگان
چکیده
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit from description in semantic web languages. We describe how the important models are expressed and how the corresponding meta-models are defined. This is illustrated for the Application Model that specifies the hypermedia navigation over the content in the application, and do so for both the static and dynamic cases. With the support of the dynamics, particularly the interaction of the user with the generated hypermedia presentation, we extend the possibilities to specify the design of a new generation of web applications.
منابع مشابه
Towards Intelligent Web Services: The Web Service Modeling Ontology (WSMO)
The Semantic Web and the Semantic Web Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of services and their interfaces on the Web. This paper provides an overview of the Web Service Modeling Ontology, a conceptual framework for the semantical description of Web services.
متن کاملModeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and business processes. We show in particular that one can tailor business process definitions in application-domain yet rigorous terms in such a way that the resulting ASM models can be used as basis for binding contracts between domai...
متن کاملMechanical Analysis of UML State Machines and Class Diagrams
A semantic model for statecharts is used as the basis of a mechanization in Isabelle. Similarly, we build an Isabelle embedding of class diagrams using ideas from a reference semantics for Object-Z, without using Object-Z itself, rather expressing the semantics directly in Is-abelle's Higher Order Logic. The combination of these two mechanized semantical models is intended as a basis for reason...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie Huijs
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004